<html>
<head><meta charset="utf-8"><title>meeting 2021-03-02 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html">meeting 2021-03-02</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="228483931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228483931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228483931">(Mar 02 2021 at 20:55)</a>:</h4>
<p>Howdy <span class="user-group-mention" data-user-group-id="692">@WG-traits</span> <br>
5ish minutes until meeting</p>



<a name="228484569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484569">(Mar 02 2021 at 20:59)</a>:</h4>
<p>wave</p>



<a name="228484624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484624">(Mar 02 2021 at 21:00)</a>:</h4>
<p>Okay, meeting time</p>



<a name="228484660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484660">(Mar 02 2021 at 21:00)</a>:</h4>
<p>How's everyone?</p>



<a name="228484725"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484725" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484725">(Mar 02 2021 at 21:00)</a>:</h4>
<p>feeling guilty :)</p>



<a name="228484763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484763">(Mar 02 2021 at 21:00)</a>:</h4>
<p>I didn't have time to do much traits stuff, been very busy doing prep work around async vision doc + edition things</p>



<a name="228484782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mark Drobnak <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484782">(Mar 02 2021 at 21:00)</a>:</h4>
<p>I really wish I had more time to keep up with and work on Chalk. Maybe once I graduate at the end of this semester <span aria-label="smile" class="emoji emoji-1f642" role="img" title="smile">:smile:</span></p>



<a name="228484788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484788">(Mar 02 2021 at 21:00)</a>:</h4>
<p>Is that because you didn't review <span class="user-mention" data-user-id="365822">@FireFighterDuck</span>'s Chalk PR :P</p>



<a name="228484793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484793">(Mar 02 2021 at 21:01)</a>:</h4>
<p>in particular I never did the review I said I would do ;)</p>



<a name="228484826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484826">(Mar 02 2021 at 21:01)</a>:</h4>
<p>in part, yes!</p>



<a name="228484857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484857">(Mar 02 2021 at 21:01)</a>:</h4>
<p>I know that <span class="user-mention" data-user-id="124288">@oli</span> has been doing some prep work around impl Trait; he and I have a meeting planned on thursday to talk about it</p>



<a name="228484876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484876">(Mar 02 2021 at 21:01)</a>:</h4>
<p><span class="user-mention silent" data-user-id="218805">Mark Drobnak</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-03-02/near/228484782">said</a>:</p>
<blockquote>
<p>I really wish I had more time to keep up with and work on Chalk. Maybe once I graduate at the end of this semester :)</p>
</blockquote>
<p>We'll be around :) Any and all help is appreciated <span aria-label="hearts" class="emoji emoji-2665" role="img" title="hearts">:hearts:</span></p>



<a name="228484894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484894">(Mar 02 2021 at 21:01)</a>:</h4>
<p>Yeah, oli made a PR</p>



<a name="228484910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484910">(Mar 02 2021 at 21:01)</a>:</h4>
<p>which PR?</p>



<a name="228484963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484963">(Mar 02 2021 at 21:02)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/82558">#82558</a></p>



<a name="228484994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228484994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228484994">(Mar 02 2021 at 21:02)</a>:</h4>
<p>ah, ok</p>



<a name="228485050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485050">(Mar 02 2021 at 21:02)</a>:</h4>
<p>Smallish PR. Maybe <span class="user-mention" data-user-id="116009">@nikomatsakis</span> you want to review instead of <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> ?</p>



<a name="228485062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485062">(Mar 02 2021 at 21:02)</a>:</h4>
<p>Looked good to me</p>



<a name="228485080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485080">(Mar 02 2021 at 21:03)</a>:</h4>
<p>I can do that</p>



<a name="228485152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485152">(Mar 02 2021 at 21:03)</a>:</h4>
<p>In other news, rust-analyzer is planning to switch to chalk-ir's type representation</p>



<a name="228485168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485168">(Mar 02 2021 at 21:03)</a>:</h4>
<p>I just don't know the code really, so don't feel completely comfortable signing off</p>



<a name="228485190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485190">(Mar 02 2021 at 21:03)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> I saw that! Exciting</p>



<a name="228485213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485213">(Mar 02 2021 at 21:03)</a>:</h4>
<p>I also saw some mentioning of perf regressions</p>



<a name="228485226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485226">(Mar 02 2021 at 21:03)</a>:</h4>
<p>Would be good to keep an eye on that</p>



<a name="228485310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485310">(Mar 02 2021 at 21:04)</a>:</h4>
<p>ah, interesting</p>



<a name="228485332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485332">(Mar 02 2021 at 21:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> assigning you to that PR</p>



<a name="228485348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485348">(Mar 02 2021 at 21:04)</a>:</h4>
<p>ok, maybe I'll do that review + the other one</p>



<a name="228485368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485368">(Mar 02 2021 at 21:04)</a>:</h4>
<p>I'm mostly on top of chalk-related bugs in RA, but perf regressions are less visible</p>



<a name="228485376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485376">(Mar 02 2021 at 21:04)</a>:</h4>
<p>I could actually use to 'half attend' this meeting: i'm trying to finish a blog post today and I could use the time</p>



<a name="228485412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> FireFighterDuck <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485412">(Mar 02 2021 at 21:04)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-03-02/near/228484793">said</a>:</p>
<blockquote>
<p>in particular I never did the review I said I would do ;)</p>
</blockquote>
<p>It would be perfect if you could have a look at it before the 16th. Then I could incorporate it into my final report for this semester. <span aria-label="smile" class="emoji emoji-1f642" role="img" title="smile">:smile:</span></p>



<a name="228485454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485454">(Mar 02 2021 at 21:05)</a>:</h4>
<p>I will do it now :)</p>



<a name="228485462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485462">(Mar 02 2021 at 21:05)</a>:</h4>
<p>I had a nice chat with <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> about the binder refactor PR and the bound var collection</p>



<a name="228485497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485497">(Mar 02 2021 at 21:05)</a>:</h4>
<p>Oh yeah?</p>



<a name="228485509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485509">(Mar 02 2021 at 21:05)</a>:</h4>
<p>And got inspired and got all the things working</p>



<a name="228485523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485523">(Mar 02 2021 at 21:05)</a>:</h4>
<p>in a hacky state</p>



<a name="228485542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485542">(Mar 02 2021 at 21:05)</a>:</h4>
<p>tried to unhack it and things broke</p>



<a name="228485552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485552">(Mar 02 2021 at 21:05)</a>:</h4>
<p>(though I hope someone can pick up bugs that originate from RA, for example if someone with knowledge about closures could look at <a href="https://github.com/rust-lang/chalk/issues/688">chalk#688</a> that'd be great)</p>



<a name="228485596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485596">(Mar 02 2021 at 21:06)</a>:</h4>
<p>So yeah, now I'm deep diving into the late/lifetimes.rs code to make it per-item</p>



<a name="228485717"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485717" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485717">(Mar 02 2021 at 21:06)</a>:</h4>
<p><span class="user-mention silent" data-user-id="125131">detrumi</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-03-02/near/228485552">said</a>:</p>
<blockquote>
<p>(though I hope someone can pick up bugs that originate from RA, for example if someone with knowledge about closures could look at <a href="https://github.com/rust-lang/chalk/issues/688">chalk#688</a> that'd be great)</p>
</blockquote>
<p>Yeah, I saw that. I'll see if I can take a look at some point. Trying to push through the binder refactor work</p>



<a name="228485741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485741">(Mar 02 2021 at 21:06)</a>:</h4>
<p>Also, the binder refactor PR crater run is currently going</p>



<a name="228485960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485960">(Mar 02 2021 at 21:08)</a>:</h4>
<p>Any other important things going on?</p>



<a name="228485998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228485998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228485998">(Mar 02 2021 at 21:08)</a>:</h4>
<p>Not on my side.</p>



<a name="228486015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486015">(Mar 02 2021 at 21:08)</a>:</h4>
<p>I'm still slowly progressing that NLL error message PR.</p>



<a name="228486028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486028">(Mar 02 2021 at 21:08)</a>:</h4>
<p>Nice :)</p>



<a name="228486147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486147">(Mar 02 2021 at 21:09)</a>:</h4>
<p>The error messages are now good, the code changes not so much. <span aria-label="smile" class="emoji emoji-1f642" role="img" title="smile">:smile:</span></p>



<a name="228486180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486180">(Mar 02 2021 at 21:09)</a>:</h4>
<p>Can you say a bit more about what the PR does?</p>



<a name="228486502"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486502" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486502">(Mar 02 2021 at 21:11)</a>:</h4>
<p>It replaces the <code>error: higher-ranked subtype error</code> errors with errors that are more like those we emit with the existing borrowck.</p>



<a name="228486515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486515">(Mar 02 2021 at 21:11)</a>:</h4>
<p><span class="user-mention" data-user-id="365822">@FireFighterDuck</span> thanks for including a book chapter :)</p>



<a name="228486531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486531">(Mar 02 2021 at 21:11)</a>:</h4>
<p>Oh nice</p>



<a name="228486542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486542">(Mar 02 2021 at 21:11)</a>:</h4>
<p>I'm still a bit sad we never landed <a href="https://github.com/rust-lang/chalk/pull/526">https://github.com/rust-lang/chalk/pull/526</a> :)</p>



<a name="228486552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486552">(Mar 02 2021 at 21:11)</a>:</h4>
<p>even though I think I still agree with the decision not to do so</p>



<a name="228486575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486575">(Mar 02 2021 at 21:12)</a>:</h4>
<p>(this has nothing to do with coinduction, was just thinking about it...)</p>



<a name="228486689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486689">(Mar 02 2021 at 21:12)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> if you think we <em>should</em>, feel free to reopen</p>



<a name="228486699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486699">(Mar 02 2021 at 21:12)</a>:</h4>
<p>no, I don't</p>



<a name="228486704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486704">(Mar 02 2021 at 21:12)</a>:</h4>
<p>unless we need it</p>



<a name="228486709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486709">(Mar 02 2021 at 21:12)</a>:</h4>
<p>Okay :)</p>



<a name="228486713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486713">(Mar 02 2021 at 21:12)</a>:</h4>
<p>it makes everything else more complex</p>



<a name="228486720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486720">(Mar 02 2021 at 21:12)</a>:</h4>
<p>in particular the salsa integration I still want to do :)</p>



<a name="228486825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486825">(Mar 02 2021 at 21:13)</a>:</h4>
<p>There's a lot you still want to do :)</p>



<a name="228486832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486832">(Mar 02 2021 at 21:13)</a>:</h4>
<p>sigh</p>



<a name="228486855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486855">(Mar 02 2021 at 21:13)</a>:</h4>
<p>salsa integration sounds great though</p>



<a name="228486982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228486982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228486982">(Mar 02 2021 at 21:14)</a>:</h4>
<p>There's a number of things I want to get back to in regards to Chalk</p>



<a name="228487010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228487010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228487010">(Mar 02 2021 at 21:14)</a>:</h4>
<p>But that comes after better rustc integration :)</p>



<a name="228487167"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228487167" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228487167">(Mar 02 2021 at 21:15)</a>:</h4>
<p>Anyways, we might just call the meeting here unless anyone has anything else to discuss</p>



<a name="228487213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228487213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228487213">(Mar 02 2021 at 21:15)</a>:</h4>
<p>Give <span class="user-mention" data-user-id="116009">@nikomatsakis</span> some review time :P</p>



<a name="228487373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228487373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228487373">(Mar 02 2021 at 21:16)</a>:</h4>
<p>Thanks everyone for attending this short meeting :)</p>



<a name="228487510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228487510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228487510">(Mar 02 2021 at 21:17)</a>:</h4>
<p>There are some people experimenting with GATs and running into some issues in <a class="stream" data-stream-id="122651" href="/#narrow/stream/122651-general">#general</a> so I want to spend some time checking what's going on there.</p>



<a name="228487577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228487577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228487577">(Mar 02 2021 at 21:18)</a>:</h4>
<p>I saw some chatter about GATs</p>



<a name="228644598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228644598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228644598">(Mar 03 2021 at 18:42)</a>:</h4>
<p>So, after some experimenting, streaming iterator combinators are not usable (although they can be implemented) due to lack of normalization. There are also some issues with specific combinators:</p>
<ul>
<li><code>filter</code> and <code>filter_map</code> can't be implemented without <code>unsafe</code> or <code>-Zpolonius</code></li>
<li><code>filter_map</code> also requires an helper trait because there's no way to write <code>for&lt;'a&gt; FnMut(Self::Item&lt;'a&gt;) -&gt; Option&lt;T&lt;'a&gt;&gt;</code> where T is a hkt</li>
<li><code>flat_map</code> would have to return a self-borrowing struct.</li>
</ul>



<a name="228807515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-02/near/228807515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-02.html#228807515">(Mar 04 2021 at 16:46)</a>:</h4>
<p>and:</p>
<ul>
<li><code>chain</code> requires one of the iterators to be <code>'static</code>.</li>
</ul>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>